Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
241	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
242	A Pre-Programming Introduction to Algorithmics Judith Gal-Ezer1 The Open University of Israel, Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:20:03 Software engineering Computer programming Algorithms Software development Mathematical logic Theoretical computer science Formal methods Pseudocode Programming language Refinement Outline of computer programming Edsger W. Dijkstra
243	Project Report for P415/515 Specication and Verication of a File System: A Successful Failure Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2012-07-27 19:09:55 Computer programming Software engineering Theoretical computer science Mathematics B-tree Mathematical logic Linked list Algorithm Mathematical induction Recursion Trie
244	Christopher P. Long, Aristotle on the Nature of Truth. Cambridge: Cambridge University Press, 2011. Pp. vii, 275. ISBN. $hardbound). Professor Long’s Aristotle on the Nature of Truth is clearly int Add to Reading List Source URL: ancienthistorybulletin.org Language: English - Date: 2014-08-22 16:55:22 Philosophy Natural philosophy Reality Philosophical logic Philosophy of science Intelligence Metaphysics Truth Physics Nicomachean Ethics Aristotle On the Soul
245	Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication∗ Christoph Lenzen Nancy Lynch Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:12 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Edsger W. Dijkstra Algorithm Mathematical logic Theoretical computer science Time complexity Shortest path problem Asymptotically optimal algorithm Randomized algorithm
246	Nordic NSP Studies in Pragmatism Helsinki \| 2010 Add to Reading List Source URL: www.nordprag.org Language: English - Date: 2014-04-05 09:38:42 Philosophy Philosophy of science Charles Sanders Peirce Philosophical movements Philosophical logic Epistemology Fallibilism Pragmatism Infallibilism Truth Meaning Scientific method
247	Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 08:22:42 Mathematics Multiset Set Path ordering Theoretical computer science Computing
248	DEPARTMENT OF MATHEMATICS, STATISTICS & COMPUTER SCIENCE COLLEGE OF BASIC SCIENCES AND HUMANITIES Achievementsa). Add to Reading List Source URL: gbpuat.ac.in Language: English - Date: 2014-10-28 12:37:19 Fuzzy logic Engineering Design for X Failure Materials science Reliability engineering Survival analysis Fuzzy set Science and technology Systems engineering
249	Introducing as Semantics Syntax Add to Reading List Source URL: www1.icsi.berkeley.edu Language: English - Date: 2007-04-25 02:43:04 Linguistics Logic Grammar Cognitive science Syntax Philosophy of language Semantics Logic in computer science Relativizer Predicate Relative clause Clause
250	Graded dominance Libor Bˇehounek1 , Ulrich Bodenhofer2 , Petr Cintula1 , and Susanne Saminger-Platz3 1 Institute of Computer Science Academy of Sciences of the Czech Republic, Prague, Czech Republic {behounek\|cintula}@c Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2008-05-06 06:51:53 Fuzzy logic Mathematical logic Logic Mathematics T-norm Constructible universe Monoidal t-norm logic Fuzzy set Net NC Fuzzy mathematics Ordinal number

UPDATE